مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری
نویسندگان
چکیده
اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله، دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است، اما اغلب برای تحلیل پروتکل ها، به کارگیری توام آنها مناسبتر است. در این مقاله، یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل، همراه با وارسی وجود سناریوهای نقض ویژگیهای امنیتی، به صورت یکجا انجام می شود. در این مقاله همچنین یک مدل محاسباتی برای پروتکل های رمزنگاری، به عنوان جزیی از چارچوب عمومی مذکور همراه با یک تفسیر اجرایی از آن، بر اساس سیستم های بازنویسی جبری ارایه شده است. با توصیف پروتکل در قالب مجموعه ای از گامهای منفرد و به کمک یک الگوریتم تبدیل، مجموعه ای پایان پذیر و همگرا از قوانین بازنویسی مولد مسیر اجرای پروتکل ایجاد می شود. توصیف یک پروتکل رمزنگاری در چارچوب ارایه شده نیز به عنوان نمونه بیان شده است .
منابع مشابه
مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure
کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...
متن کاملWheatPot: مدلی ساده برای شبیه‌سازی پتانسیل عملکرد دانه گندم بهاره I- توصیف و ارزیابی مدل
یک مدل مکانیستیکی ساده به نام «WheatPot» برای شبیه‌سازی پتانسیل عملکرد دانه گندم در مقیاس منطقه‌ای ساخته شد. این مدل مراحل اصلی فنولوژی و تولید ماده خشک را به عنوان تابعی از درجه حرارت و تشعشع خورشیدی شبیه‌سازی می‌کند و شامل زیر مدل‌های مراحل نمو، تولید ماده خشک و عملکرد دانه می‌باشد. ورودی‌های مورد نیاز جهت اجرای مدل برای هر منطقه شامل میانگین ماهانه داده‌های آب و هوایی (درجه حرارت‌های حداقل و...
متن کاملقانون نمایی، مدلی برتر برای توصیف سیستم های سیارهای
نظم یکی از ارکان اصلی طبیعت است. از این رو بشر همواره در تلاش یافتن نظم در جنبه های گوناگون طبیعت بوده است که یافتن نظم در پراکندگی سیارات، نمونه ای از این تلاش هاست. با کشف قانون تیتوس- بد، نشانه هایی از وجود نظم در منظومه شمسی آشکار شد. این قانون بر خلاف منظومه شمسی، در مورد سایر منظومه های فراخورشیدی نتایج رضایت بخشی در بر ندارد. علاوه بر قانون تیتوس- بد، قانون مربعی با استفاده از مدل بوهر ب...
متن کاملروش های جبری برای کلید همگانی در رمزنگاری
در ابتدا نگاهی اجمالی به سیستم های رمزنگاری متقارن انداخته شده و پس از ارائه اطلاعات ریاضی لازم، رمزنگاری کلید عمومی بررسی شده است. پروتکل های جبری تأسیس کلید که اساس آنها پیچیدگی حل معادلات روی ساختار های جبری است، به عنوان مبنای نظری برای ساخت سیستم های رمزنگاری کلید عمومی توضیح داده شده اند.
15 صفحه اولارائه مدلی برای ارزیابی پایداری زنجیره تأمین با رویکرد فراترکیب
چکیده زنجیره‌های تأمین در سال‌های اخیر به سرعت رشد یافته‌اند و تمرکز صرف بر عملکرد اقتصادی برای بهینه‌سازی هزینه‌ها یا بازگشت سرمایه نمی‌تواند متضمن توسعه یا پایداری در زنجیره تأمین گردد. از این رو مفاهیم مدیریت زنجیره تأمین سبز و مدیریت زنجیره تأمین پایدار به منظور تأکید اهمیت نگرانی‌های اجتماعی و زیست‌محیطی همراه با عوامل اقتصادی در برنامه‌ریزی زنجیره تأمین ظهور یافتند. هدف از پژوهش حاضر تح...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
مهندسی برق مدرسجلد ۳، شماره ۱، صفحات ۱۱-۲۹
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023